Matemática Discreta

Versión en Inglés

Programa: guiones y bibliografía

  • Guía docente de la asignatura en docencia virtual.
  • Guiones y transparencias de los temas en docencia virtual.

Relaciones de Problemas (En docencia virtual)

  • Relación de problemas 1. Lógica.
  • Relación de problemas 2. Conjuntos y aplicaciones.
  • Relación de problemas 3. Retículos y álgebra de Boole.
  • Relación de problemas 4. Introducción a la teoría de números: Aritmética modular.

Manuales de teoría y prácticas

Métodos computacionales en álgebra para informáticos. Matemática discreta y lógica. (1)



Ordóñez,C, Ruiz, J.F. y García-Muñoz,M.A. Editorial: Servicio de Publicaciones de la Universidad de Jaén. 2º Edición, 2020

ERRATAS

Matemática discreta para la computación. Nociones teóricas y problemas resueltos. (2)

García-Muñoz, M.A. Eitorial: Servicio de Publicaciones de la Universidad de Jaén. 2º Edición revisada, 2015



TemarioContenidosCapítulos
Previos programa Mathematica. EL ENTORNO DE TRABAJO: MATHEMATICA.
ARITMÉTICA BÁSICA. VARIABLES Y FUNCIONES.
LISTAS: TABLAS, MATRICES Y VECTORES.
PROGRAMACIÓN EN MATHEMATICA.
Capítulo 1 del manual de prácticas [1].
Capítulo 2 del manual de prácticas [1].
Capítulo 3 del manual de prácticas [1].
Capítulo 4 del manual de prácticas [1].
Tema 1. Lógica. ENUNCIADOS, CONECTIVAS Y TABLAS DE VERDAD.
TAUTOLOGÍAS, CONTRADICCIONES, FORMAS NORMALES. CONJUNTO ADECUADOS DE CONECTIVAS, EQUIVALENCIAS LÓGICAS E IMPLICACIONES LÓGICAS Y ARGUMENTACIONES.

Capítulo 5 del manual de prácticas [1].



Capítulo 6 del manual de prácticas [1].



Tema 2. Conjuntos y aplicaciones. CONCEPTOS BÁSICOS, LAS PARTES DE UN CONJUNTO, APLICACIONES, RELACIONES BINARIAS. CONJUNTOS ORDENADOS. Capítulo 7 del manual de prácticas [1].

Capítulo 8 del manual de prácticas [1].
Tema 3. Álgebra de Boole y funciones booleanas. RETÍCULOS, ÁLGEBRAS DE BOOLE, FUNCIONES BOOLEANAS: FORMAS CANÓNICAS. APLICACIONES: CIRCUITOS BOOLEANOS. Capítulo 9 del manual de prácticas [1].

Capítulo 10 del manual de prácticas [1].
Tema 4. Introducción a la teoría de números: Aritmética modular. NÚMEROS NATURALES Y ENTEROS. DIVISIBILIDAD Y CONGRUENCIAS. APLICACIONES DEL TEOREMA DE BEZOUT. SISTEMAS DE NUMERACIÓN. Capítulo 11 del manual de prácticas [1].

Capítulo 12 del manual de prácticas [1].
Tema 5. Nociones de complejidad computacional. ALGORITMOS. FUNCIONES DE CRECIMIENTO. COMPLEJIDAD ALGORÍTMICA. LA CLASE P Y NP.